Search results for "Mathematics::Commutative Algebra"

A numerical property of Hilbert functions and lex segment ideals

2017

We introduce the fractal expansions, sequences of integers associated to a number. We show that these sequences characterize the Osequences and encode some information about lex segment ideals. Moreover, we introduce numerical functions called fractal functions, and we use them to solve the open problem of the classification of the Hilbert functions of any bigraded algebra.

Group graded algebras and almost polynomial growth

2011

Let F be a field of characteristic 0, G a finite abelian group and A a G-graded algebra. We prove that A generates a variety of G-graded algebras of almost polynomial growth if and only if A has the same graded identities as one of the following algebras: (1) FCp, the group algebra of a cyclic group of order p, where p is a prime number and p||G|; (2) UT2G(F), the algebra of 2×2 upper triangular matrices over F endowed with an elementary G-grading; (3) E, the infinite dimensional Grassmann algebra with trivial G-grading; (4) in case 2||G|, EZ2, the Grassmann algebra with canonical Z2-grading.

The polyhedral Hodge number $h^{2,1}$ and vanishing of obstructions

2000

We prove a vanishing theorem for the Hodge number $h^{2,1}$ of projective toric varieties provided by a certain class of polytopes. We explain how this Hodge number also gives information about the deformation theory of the toric Gorenstein singularity derived from the same polytope. In particular, the vanishing theorem for $h^{2,1}$ implies that these deformations are unobstructed.

2002

Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas ℚ–Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.

Splittings of Toric Ideals

2019

Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$.

Varieties of algebras with pseudoinvolution: Codimensions, cocharacters and colengths

2022

Abstract Let A be a finitely generated superalgebra with pseudoinvolution ⁎ over an algebraically closed field F of characteristic zero. In this paper we develop a theory of polynomial identities for this kind of algebras . In particular, we shall consider three sequences that can be attached to Id ⁎ ( A ) , the T 2 ⁎ -ideal of identities of A: the sequence of ⁎-codimensions c n ⁎ ( A ) , the sequence of ⁎-cocharacter χ 〈 n 〉 ⁎ ( A ) and the ⁎-colength sequence l n ⁎ ( A ) . Our purpose is threefold. First we shall prove that the ⁎-codimension sequence is eventually non-decreasing, i.e., c n ⁎ ( A ) ≤ c n + 1 ⁎ ( A ) , for n large enough. Secondly, we study superalgebras with pseudoinvoluti…

Extending the star order to Rickart rings

2015

Star partial order was initially introduced for semigroups and rings with (proper) involution. In particular, this order has recently been studied on Rickart *-rings. It is known that the star order in such rings can be characterized by conditions not involving involution explicitly. Owing to these characterizations, the order can be extended to certain special Rickart rings named strong in the paper; this extension is the objective of the paper. The corresponding order structure of strong Rickart rings is studied more thoroughly. In particular, the most significant lattice properties of star-ordered Rickart *-rings are successfully transferred to strong Rickart rings; also several new resu…

Bounded Bi-ideals and Linear Recurrence

2013

Bounded bi-ideals are a subclass of uniformly recurrent words. We introduce the notion of completely bounded bi-ideals by imposing a restriction on their generating base sequences. We prove that a bounded bi-ideal is linearly recurrent if and only if it is completely bounded.

POLYNOMIAL GROWTH OF THE*-CODIMENSIONS AND YOUNG DIAGRAMS

2001

Let A be an algebra with involution * over a field F of characteristic zero and Id(A, *) the ideal of the free algebra with involution of *-identities of A. By means of the representation theory of the hyperoctahedral group Z 2wrS n we give a characterization of Id(A, *) in case the sequence of its *-codimensions is polynomially bounded. We also exhibit an algebra G 2 with the following distinguished property: the sequence of *-codimensions of Id(G 2, *) is not polynomially bounded but the *-codimensions of any T-ideal U properly containing Id(G 2, *) are polynomially bounded.

Asymptotics for Graded Capelli Polynomials

2014

The finite dimensional simple superalgebras play an important role in the theory of PI-algebras in characteristic zero. The main goal of this paper is to characterize the T 2-ideal of graded identities of any such algebra by considering the growth of the corresponding supervariety. We consider the T 2-ideal Γ M+1,L+1 generated by the graded Capelli polynomials C a p M+1[Y,X] and C a p L+1[Z,X] alternanting on M+1 even variables and L+1 odd variables, respectively. We prove that the graded codimensions of a simple finite dimensional superalgebra are asymptotically equal to the graded codimensions of the T 2-ideal Γ M+1,L+1, for some fixed natural numbers M and L. In particular csupn(Γk2+l2+1…